ePMC - pnueli-zuck live 60

Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property live
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 248 248
build-model-states-explored 537 289
build-model-states-explored 834 297
build-model-states-explored 1131 297
build-model-states-explored 1430 299
build-model-states-explored 1730 300
build-model-states-explored 2027 297
build-model-states-explored 2318 291
build-model-states-explored 2617 299
build-model-states-explored 2915 298
build-model-states-explored 3214 299
build-model-states-explored 3512 298
build-model-states-explored 3809 297
build-model-states-explored 4102 293
build-model-states-explored 4387 285
build-model-states-explored 4681 294
build-model-states-explored 4980 299
build-model-states-explored 5278 298
build-model-states-explored 5577 299
build-model-states-explored 5875 298
build-model-states-explored 6173 298
build-model-states-explored 6470 297
build-model-states-explored 6763 293
build-model-states-explored 7060 297
build-model-states-explored 7357 297
build-model-states-explored 7651 294
build-model-states-explored 7945 294
build-model-states-explored 8237 292
build-model-states-explored 8527 290
build-model-states-explored 8798 271
build-model-states-explored 9087 289
build-model-states-explored 9373 286
build-model-states-explored 9659 286
build-model-states-explored 9956 297
build-model-states-explored 10183 227
build-model-states-explored 10415 232
build-model-states-explored 10647 232
build-model-states-explored 10879 232
build-model-states-explored 11111 232
build-model-states-explored 11343 232
build-model-states-explored 11574 231
build-model-states-explored 11805 231
build-model-states-explored 12037 232
build-model-states-explored 12268 231
build-model-states-explored 12499 231
build-model-states-explored 12731 232
build-model-states-explored 12961 230
build-model-states-explored 13192 231
build-model-states-explored 13423 231
build-model-states-explored 13654 231
build-model-states-explored 13885 231
build-model-states-explored 14116 231
build-model-states-explored 14346 230
build-model-states-explored 14576 230
build-model-states-explored 14806 230
build-model-states-explored 15037 231
build-model-states-explored 15267 230
build-model-states-explored 15498 231
build-model-states-explored 15728 230
build-model-states-explored 15957 229
build-model-states-explored 16187 230
build-model-states-explored 16417 230
build-model-states-explored 16647 230
build-model-states-explored 16877 230
build-model-states-explored 17106 229
build-model-states-explored 17335 229
build-model-states-explored 17533 198
build-model-states-explored 17761 228
build-model-states-explored 17989 228
build-model-states-explored 18217 228
build-model-states-explored 18443 226
build-model-states-explored 18669 226
build-model-states-explored 18896 227
build-model-states-explored 19123 227
build-model-states-explored 19350 227
build-model-states-explored 19574 224
build-model-states-explored 19798 224
build-model-states-explored 20022 224
build-model-states-explored 20243 221
build-model-states-explored 20458 215
build-model-states-explored 20689 231
build-model-states-explored 20918 229
build-model-states-explored 21149 231
build-model-states-explored 21380 231
build-model-states-explored 21611 231
build-model-states-explored 21842 231
build-model-states-explored 22073 231
build-model-states-explored 22304 231
build-model-states-explored 22535 231
build-model-states-explored 22766 231
build-model-states-explored 22997 231
build-model-states-explored 23228 231
build-model-states-explored 23459 231
build-model-states-explored 23690 231
build-model-states-explored 23921 231
build-model-states-explored 24151 230
build-model-states-explored 24381 230
build-model-states-explored 24612 231
build-model-states-explored 24843 231
build-model-states-explored 25073 230
build-model-states-explored 25304 231
build-model-states-explored 25534 230
build-model-states-explored 25765 231
build-model-states-explored 25996 231
build-model-states-explored 26227 231
build-model-states-explored 26458 231
build-model-states-explored 26689 231
build-model-states-explored 26918 229
build-model-states-explored 27149 231
build-model-states-explored 27379 230
build-model-states-explored 27610 231
build-model-states-explored 27840 230
build-model-states-explored 28070 230
build-model-states-explored 28301 231
build-model-states-explored 28530 229
build-model-states-explored 28760 230
build-model-states-explored 28990 230
build-model-states-explored 29220 230
build-model-states-explored 29449 229
build-model-states-explored 29678 229
build-model-states-explored 29907 229
build-model-states-explored 30137 230
build-model-states-explored 30366 229
build-model-states-explored 30596 230
build-model-states-explored 30825 229
build-model-states-explored 31053 228
build-model-states-explored 31282 229
build-model-states-explored 31508 226
build-model-states-explored 31734 226
build-model-states-explored 31960 226
build-model-states-explored 32184 224
build-model-states-explored 32408 224
build-model-states-explored 32632 224
build-model-states-explored 32856 224
build-model-states-explored 33082 226
build-model-states-explored 33306 224
build-model-states-explored 33529 223
build-model-states-explored 33752 223
build-model-states-explored 33981 229
build-model-states-explored 34210 229
build-model-states-explored 34434 224
build-model-states-explored 34658 224
build-model-states-explored 34878 220
build-model-states-explored 35044 166
build-model-states-explored 35266 222
build-model-states-explored 35488 222
build-model-states-explored 35709 221
build-model-states-explored 35930 221
build-model-states-explored 36152 222
build-model-states-explored 36376 224
build-model-states-explored 36599 223
build-model-states-explored 36817 218
build-model-states-explored 37038 221
build-model-states-explored 37259 221
build-model-states-explored 37474 215
build-model-states-explored 37700 226
build-model-states-explored 37919 219
build-model-states-explored 38139 220
build-model-states-explored 38353 214
build-model-states-explored 38563 210
build-model-states-explored 38781 218
build-model-states-explored 38984 203
build-model-states-explored 39187 203
build-model-states-explored 39381 194
build-model-states-explored 39575 194
build-model-states-explored 39766 191
build-model-states-explored 39933 167
build-model-states-explored 40097 164
build-model-states-explored 40236 139
build-model-states-explored 40410 174
build-model-states-explored 40569 159
build-model-states-explored 40707 138
build-model-states-explored 40865 158
build-model-states-explored 41031 166
build-model-states-explored 41195 164
build-model-states-explored 41368 173
build-model-states-explored 41532 164
build-model-states-explored 41689 157
build-model-states-explored 41832 143
build-model-states-explored 41973 141
build-model-states-explored 42102 129
build-model-states-explored 42237 135
build-model-states-explored 42378 141
build-model-states-explored 42533 155
build-model-states-explored 42692 159
build-model-states-explored 42840 148
build-model-states-explored 42961 121
build-model-states-explored 43092 131
build-model-states-explored 43249 157
build-model-states-explored 43407 158
build-model-states-explored 43550 143
build-model-states-explored 43684 134
build-model-states-explored 43798 114
build-model-states-explored 43938 140
build-model-states-explored 44054 116
build-model-states-explored 44211 157
build-model-states-explored 44350 139
build-model-states-explored 44507 157
build-model-states-explored 44629 122
build-model-states-explored 44757 128
build-model-states-explored 44889 132
build-model-states-explored 45034 145
build-model-states-explored 45185 151
build-model-states-explored 45325 140
build-model-states-explored 45423 98
build-model-states-explored 45566 143
build-model-states-explored 45664 98
build-model-states-explored 45807 143
build-model-states-explored 45932 125
build-model-states-explored 46078 146
build-model-states-explored 46208 130
build-model-states-explored 46306 98
build-model-states-explored 46427 121
build-model-states-explored 46546 119
build-model-states-explored 46678 132
build-model-states-explored 46833 155
build-model-states-explored 46950 117
build-model-states-explored 47155 205
build-model-states-explored 47385 230
build-model-states-explored 47616 231
build-model-states-explored 47847 231
build-model-states-explored 48077 230
build-model-states-explored 48307 230
build-model-states-explored 48538 231
build-model-states-explored 48768 230
build-model-states-explored 48999 231
build-model-states-explored 49230 231
build-model-states-explored 49460 230
build-model-states-explored 49690 230
build-model-states-explored 49920 230
build-model-states-explored 50150 230
build-model-states-explored 50380 230
build-model-states-explored 50610 230
build-model-states-explored 50839 229
build-model-states-explored 51069 230
build-model-states-explored 51298 229
build-model-states-explored 51526 228
build-model-states-explored 51751 225
build-model-states-explored 51976 225
build-model-states-explored 52204 228
build-model-states-explored 52431 227
build-model-states-explored 52659 228
build-model-states-explored 52889 230
build-model-states-explored 53119 230
build-model-states-explored 53349 230
build-model-states-explored 53579 230
build-model-states-explored 53808 229
build-model-states-explored 54038 230
build-model-states-explored 54268 230
build-model-states-explored 54498 230
build-model-states-explored 54728 230
build-model-states-explored 54957 229
build-model-states-explored 55187 230
build-model-states-explored 55415 228
build-model-states-explored 55644 229
build-model-states-explored 55874 230
build-model-states-explored 56104 230
build-model-states-explored 56333 229
build-model-states-explored 56563 230
build-model-states-explored 56790 227
build-model-states-explored 57017 227
build-model-states-explored 57246 229
build-model-states-explored 57473 227
build-model-states-explored 57700 227
build-model-states-explored 57929 229
build-model-states-explored 58158 229
build-model-states-explored 58387 229
build-model-states-explored 58616 229
build-model-states-explored 58843 227
build-model-states-explored 59072 229
build-model-states-explored 59301 229
build-model-states-explored 59530 229
build-model-states-explored 59758 228
build-model-states-explored 59987 229
build-model-states-explored 60216 229
build-model-states-explored 60446 230
build-model-states-explored 60674 228
build-model-states-explored 60903 229
build-model-states-explored 61132 229
build-model-states-explored 61361 229
build-model-states-explored 61591 230
build-model-states-explored 61820 229
build-model-states-explored 62048 228
build-model-states-explored 62277 229
build-model-states-explored 62505 228
build-model-states-explored 62734 229
build-model-states-explored 62962 228
build-model-states-explored 63190 228
build-model-states-explored 63418 228
build-model-states-explored 63648 230
build-model-states-explored 63877 229
build-model-states-explored 64106 229
build-model-states-explored 64336 230
build-model-states-explored 64565 229
build-model-states-explored 64794 229
build-model-states-explored 65022 228
build-model-states-explored 65251 229
build-model-states-explored 65481 230
build-model-states-explored 65710 229
build-model-states-explored 65940 230
build-model-states-explored 66169 229
build-model-states-explored 66398 229
build-model-states-explored 66625 227
build-model-states-explored 66853 228
build-model-states-explored 67082 229
build-model-states-explored 67309 227
build-model-states-explored 67537 228
build-model-states-explored 67765 228
build-model-states-explored 67993 228
build-model-states-explored 68220 227
build-model-states-explored 68448 228
build-model-states-explored 68676 228
build-model-states-explored 68904 228
build-model-states-explored 69132 228
build-model-states-explored 69358 226
build-model-states-explored 69585 227
build-model-states-explored 69777 192
build-model-states-explored 69919 142
build-model-states-explored 70143 224
build-model-states-explored 70368 225
build-model-states-explored 70594 226
build-model-states-explored 70820 226
build-model-states-explored 71045 225
build-model-states-explored 71270 225
build-model-states-explored 71496 226
build-model-states-explored 71722 226
build-model-states-explored 71947 225
build-model-states-explored 72174 227
build-model-states-explored 72400 226
build-model-states-explored 72626 226
build-model-states-explored 72853 227
build-model-states-explored 73080 227
build-model-states-explored 73305 225
build-model-states-explored 73531 226
build-model-states-explored 73757 226
build-model-states-explored 73982 225
build-model-states-explored 74209 227
build-model-states-explored 74434 225
build-model-states-explored 74659 225
build-model-states-explored 74886 227
build-model-states-explored 75112 226
build-model-states-explored 75338 226
build-model-states-explored 75565 227
build-model-states-explored 75792 227
build-model-states-explored 76019 227
build-model-states-explored 76246 227
build-model-states-explored 76471 225
build-model-states-explored 76697 226
build-model-states-explored 76924 227
build-model-states-explored 77151 227
build-model-states-explored 77377 226
build-model-states-explored 77603 226
build-model-states-explored 77828 225
build-model-states-explored 78055 227
build-model-states-explored 78280 225
build-model-states-explored 78506 226
build-model-states-explored 78731 225
build-model-states-explored 78955 224
build-model-states-explored 79178 223
build-model-states-explored 79404 226
build-model-states-explored 79627 223
build-model-states-explored 79848 221
build-model-states-explored 80069 221
build-model-states-explored 80292 223
build-model-states-explored 80512 220
build-model-states-explored 80727 215
build-model-states-explored 80945 218
build-model-states-explored 81165 220
build-model-states-explored 81384 219
build-model-states-explored 81597 213
build-model-states-explored 81813 216
build-model-states-explored 82028 215
build-model-states-explored 82242 214
build-model-states-explored 82441 199
build-model-states-explored 82649 208
build-model-states-explored 82855 206
build-model-states-explored 83067 212
build-model-states-explored 83284 217
build-model-states-explored 83499 215
build-model-states-explored 83715 216
build-model-states-explored 83923 208
build-model-states-explored 84132 209
build-model-states-explored 84334 202
build-model-states-explored 84533 199
build-model-states-explored 84728 195
build-model-states-explored 84927 199
build-model-states-explored 85127 200
build-model-states-explored 85320 193
build-model-states-explored 85498 178
build-model-states-explored 85680 182
build-model-states-explored 85846 166
build-model-states-explored 86022 176
build-model-states-explored 86188 166
build-model-states-explored 86348 160
build-model-states-explored 86530 182
build-model-states-explored 86703 173
build-model-states-explored 86893 190
build-model-states-explored 87046 153
build-model-states-explored 87212 166
build-model-states-explored 87384 172
build-model-states-explored 87557 173
build-model-states-explored 87678 121
build-model-states-explored 87820 142
build-model-states-explored 87975 155
build-model-states-explored 88091 116
build-model-states-explored 88240 149
build-model-states-explored 88366 126
build-model-states-explored 88486 120
build-model-states-explored 88602 116
build-model-states-explored 88749 147
build-model-states-explored 88881 132
build-model-states-explored 89005 124
build-model-states-explored 89171 166
build-model-states-explored 89320 149
build-model-states-explored 89452 132
build-model-states-explored 89589 137
build-model-states-explored 89721 132
build-model-states-explored 89837 116
build-model-states-explored 89938 101
build-model-states-explored 90061 123
build-model-states-explored 90199 138
build-model-states-explored 90329 130
build-model-states-explored 90503 174
build-model-states-explored 90670 167
build-model-states-explored 90810 140
build-model-states-explored 90962 152
build-model-states-explored 91100 138
build-model-states-explored 91240 140
build-model-states-explored 91380 140
build-model-states-explored 91517 137
build-model-states-explored 91650 133
build-model-states-explored 91760 110
build-model-states-explored 91926 166
build-model-states-explored 92077 151
build-model-states-explored 92230 153
build-model-states-explored 92369 139
build-model-states-explored 92500 131
build-model-states-explored 92637 137
build-model-states-explored 92779 142
build-model-states-explored 92910 131
build-model-states-explored 93057 147
build-model-states-explored 93201 144
build-model-states-explored 93352 151
build-model-states-explored 93481 129
build-model-states-explored 93633 152
build-model-states-explored 93761 128
build-model-states-explored 93927 166
build-model-states-explored 94090 163
build-model-states-explored 94201 111
build-model-states-explored 94327 126
build-model-states-explored 94432 105
build-model-states-explored 94498 66
build-model-states-explored 94609 111
build-model-states-explored 94710 101
build-model-states-explored 94771 61
build-model-states-explored 94857 86
build-model-states-explored 94927 70
build-model-states-explored 95014 87
build-model-states-explored 95126 112
build-model-states-explored 95210 84
build-model-states-explored 95315 105
build-model-states-explored 95392 77
build-model-states-explored 95471 79
build-model-states-explored 95701 230
build-model-states-explored 95930 229
build-model-states-explored 96160 230
build-model-states-explored 96390 230
build-model-states-explored 96620 230
build-model-states-explored 96849 229
build-model-states-explored 97079 230
build-model-states-explored 97308 229
build-model-states-explored 97538 230
build-model-states-explored 97769 231
build-model-states-explored 97998 229
build-model-states-explored 98228 230
build-model-states-explored 98457 229
build-model-states-explored 98687 230
build-model-states-explored 98917 230
build-model-states-explored 99146 229
build-model-states-explored 99375 229
build-model-states-explored 99604 229
build-model-states-explored 99835 231
build-model-states-explored 100065 230
build-model-states-explored 100296 231
build-model-states-explored 100527 231
build-model-states-explored 100756 229
build-model-states-explored 100986 230
build-model-states-explored 101216 230
build-model-states-explored 101446 230
build-model-states-explored 101676 230
build-model-states-explored 101906 230
build-model-states-explored 102137 231
build-model-states-explored 102367 230
build-model-states-explored 102596 229
build-model-states-explored 102825 229
build-model-states-explored 103054 229
build-model-states-explored 103284 230
build-model-states-explored 103513 229
build-model-states-explored 103742 229
build-model-states-explored 103970 228
build-model-states-explored 104199 229
build-model-states-explored 104428 229
build-model-states-explored 104657 229
build-model-states-explored 104885 228
build-model-states-explored 105115 230
build-model-states-explored 105343 228
build-model-states-explored 105572 229
build-model-states-explored 105801 229
build-model-states-explored 106029 228
build-model-states-explored 106255 226
build-model-states-explored 106482 227
build-model-states-explored 106710 228
build-model-states-explored 106939 229
build-model-states-explored 107168 229
build-model-states-explored 107396 228
build-model-states-explored 107624 228
build-model-states-explored 107852 228
build-model-states-explored 108081 229
build-model-states-explored 108310 229
build-model-states-explored 108539 229
build-model-states-explored 108768 229
build-model-states-explored 108996 228
build-model-states-explored 109225 229
build-model-states-explored 109454 229
build-model-states-explored 109682 228
build-model-states-explored 109910 228
build-model-states-explored 110138 228
build-model-states-explored 110366 228
build-model-states-explored 110595 229
build-model-states-explored 110823 228
build-model-states-explored 111052 229
build-model-states-explored 111281 229
build-model-states-explored 111509 228
build-model-states-explored 111738 229
build-model-states-explored 111967 229
build-model-states-explored 112196 229
build-model-states-explored 112421 225
build-model-states-explored 112643 222
build-model-states-explored 112868 225
build-model-states-explored 113097 229
build-model-states-explored 113322 225
build-model-states-explored 113550 228
build-model-states-explored 113778 228
build-model-states-explored 114008 230
build-model-states-explored 114238 230
build-model-states-explored 114469 231
build-model-states-explored 114698 229
build-model-states-explored 114928 230
build-model-states-explored 115157 229
build-model-states-explored 115387 230
build-model-states-explored 115617 230
build-model-states-explored 115844 227
build-model-states-explored 116072 228
build-model-states-explored 116299 227
build-model-states-explored 116527 228
build-model-states-explored 116752 225
build-model-states-explored 116979 227
build-model-states-explored 117207 228
build-model-states-explored 117435 228
build-model-states-explored 117662 227
build-model-states-explored 117888 226
build-model-states-explored 118116 228
build-model-states-explored 118341 225
build-model-states-explored 118568 227
build-model-states-explored 118796 228
build-model-states-explored 119023 227
build-model-states-explored 119252 229
build-model-states-explored 119481 229
build-model-states-explored 119710 229
build-model-states-explored 119936 226
build-model-states-explored 120163 227
build-model-states-explored 120392 229
build-model-states-explored 120618 226
build-model-states-explored 120843 225
build-model-states-explored 121070 227
build-model-states-explored 121292 222
build-model-states-explored 121517 225
build-model-states-explored 121743 226
build-model-states-explored 121969 226
build-model-states-explored 122194 225
build-model-states-explored 122420 226
build-model-states-explored 122644 224
build-model-states-explored 122865 221
build-model-states-explored 123090 225
build-model-states-explored 123315 225
build-model-states-explored 123542 227
build-model-states-explored 123770 228
build-model-states-explored 123998 228
build-model-states-explored 124222 224
build-model-states-explored 124448 226
build-model-states-explored 124675 227
build-model-states-explored 124904 229
build-model-states-explored 125132 228
build-model-states-explored 125360 228
build-model-states-explored 125587 227
build-model-states-explored 125813 226
build-model-states-explored 126041 228
build-model-states-explored 126269 228
build-model-states-explored 126497 228
build-model-states-explored 126723 226
build-model-states-explored 126950 227
build-model-states-explored 127177 227
build-model-states-explored 127404 227
build-model-states-explored 127632 228
build-model-states-explored 127860 228
build-model-states-explored 128084 224
build-model-states-explored 128312 228
build-model-states-explored 128540 228
build-model-states-explored 128766 226
build-model-states-explored 128992 226
build-model-states-explored 129214 222
build-model-states-explored 129439 225
build-model-states-explored 129666 227
build-model-states-explored 129893 227
build-model-states-explored 130117 224
build-model-states-explored 130343 226
build-model-states-explored 130570 227
build-model-states-explored 130797 227
build-model-states-explored 131025 228
build-model-states-explored 131249 224
build-model-states-explored 131475 226
build-model-states-explored 131702 227
build-model-states-explored 131928 226
build-model-states-explored 132156 228
build-model-states-explored 132381 225
build-model-states-explored 132607 226
build-model-states-explored 132832 225
build-model-states-explored 133059 227
build-model-states-explored 133285 226
build-model-states-explored 133510 225
build-model-states-explored 133736 226
build-model-states-explored 133961 225
build-model-states-explored 134188 227
build-model-states-explored 134413 225
build-model-states-explored 134639 226
build-model-states-explored 134866 227
build-model-states-explored 135092 226
build-model-states-explored 135315 223
build-model-states-explored 135540 225
build-model-states-explored 135766 226
build-model-states-explored 135993 227
build-model-states-explored 136220 227
build-model-states-explored 136448 228
build-model-states-explored 136676 228
build-model-states-explored 136900 224
build-model-states-explored 137126 226
build-model-states-explored 137352 226
build-model-states-explored 137578 226
build-model-states-explored 137803 225
build-model-states-explored 138028 225
build-model-states-explored 138252 224
build-model-states-explored 138476 224
build-model-states-explored 138667 191
build-model-states-explored 138893 226
build-model-states-explored 139119 226
build-model-states-explored 139344 225
build-model-states-explored 139517 173
build-model-states-explored 139563 46
build-model-states-explored 139787 224
build-model-states-explored 140011 224
build-model-states-explored 140235 224
build-model-states-explored 140458 223
build-model-states-explored 140681 223
build-model-states-explored 140906 225
build-model-states-explored 141130 224
build-model-states-explored 141355 225
build-model-states-explored 141580 225
build-model-states-explored 141804 224
build-model-states-explored 142028 224
build-model-states-explored 142253 225
build-model-states-explored 142479 226
build-model-states-explored 142705 226
build-model-states-explored 142930 225
build-model-states-explored 143155 225
build-model-states-explored 143379 224
build-model-states-explored 143604 225
build-model-states-explored 143829 225
build-model-states-explored 144053 224
build-model-states-explored 144277 224
build-model-states-explored 144502 225
build-model-states-explored 144727 225
build-model-states-explored 144952 225
build-model-states-explored 145175 223
build-model-states-explored 145400 225
build-model-states-explored 145625 225
build-model-states-explored 145850 225
build-model-states-explored 146076 226
build-model-states-explored 146302 226
build-model-states-explored 146527 225
build-model-states-explored 146752 225
build-model-states-explored 146976 224
build-model-states-explored 147202 226
build-model-states-explored 147427 225
build-model-states-explored 147652 225
build-model-states-explored 147877 225
build-model-states-explored 148101 224
build-model-states-explored 148326 225
build-model-states-explored 148550 224
build-model-states-explored 148774 224
build-model-states-explored 148998 224
build-model-states-explored 149223 225
build-model-states-explored 149445 222
build-model-states-explored 149669 224
build-model-states-explored 149894 225
build-model-states-explored 150118 224
build-model-states-explored 150343 225
build-model-states-explored 150569 226
build-model-states-explored 150793 224
build-model-states-explored 151016 223
build-model-states-explored 151240 224
build-model-states-explored 151464 224
build-model-states-explored 151687 223
build-model-states-explored 151912 225
build-model-states-explored 152136 224
build-model-states-explored 152360 224
build-model-states-explored 152582 222
build-model-states-explored 152805 223
build-model-states-explored 153029 224
build-model-states-explored 153252 223
build-model-states-explored 153473 221
build-model-states-explored 153696 223
build-model-states-explored 153917 221
build-model-states-explored 154136 219
build-model-states-explored 154358 222
build-model-states-explored 154580 222
build-model-states-explored 154800 220
build-model-states-explored 155022 222
build-model-states-explored 155243 221
build-model-states-explored 155457 214
build-model-states-explored 155676 219
build-model-states-explored 155896 220
build-model-states-explored 156116 220
build-model-states-explored 156337 221
build-model-states-explored 156557 220
build-model-states-explored 156772 215
build-model-states-explored 156990 218
build-model-states-explored 157211 221
build-model-states-explored 157433 222
build-model-states-explored 157656 223
build-model-states-explored 157878 222
build-model-states-explored 158098 220
build-model-states-explored 158319 221
build-model-states-explored 158537 218
build-model-states-explored 158759 222
build-model-states-explored 158981 222
build-model-states-explored 159203 222
build-model-states-explored 159420 217
build-model-states-explored 159641 221
build-model-states-explored 159861 220
build-model-states-explored 160082 221
build-model-states-explored 160305 223
build-model-states-explored 160526 221
build-model-states-explored 160744 218
build-model-states-explored 160967 223
build-model-states-explored 161188 221
build-model-states-explored 161405 217
build-model-states-explored 161623 218
build-model-states-explored 161831 208
build-model-states-explored 162045 214
build-model-states-explored 162262 217
build-model-states-explored 162479 217
build-model-states-explored 162695 216
build-model-states-explored 162909 214
build-model-states-explored 163128 219
build-model-states-explored 163349 221
build-model-states-explored 163569 220
build-model-states-explored 163782 213
build-model-states-explored 163999 217
build-model-states-explored 164218 219
build-model-states-explored 164437 219
build-model-states-explored 164657 220
build-model-states-explored 164877 220
build-model-states-explored 165091 214
build-model-states-explored 165309 218
build-model-states-explored 165525 216
build-model-states-explored 165743 218
build-model-states-explored 165958 215
build-model-states-explored 166172 214
build-model-states-explored 166389 217
build-model-states-explored 166598 209
build-model-states-explored 166813 215
build-model-states-explored 167014 201
build-model-states-explored 167222 208
build-model-states-explored 167434 212
build-model-states-explored 167635 201
build-model-states-explored 167822 187
build-model-states-explored 168003 181
build-model-states-explored 168202 199
build-model-states-explored 168400 198
build-model-states-explored 168605 205
build-model-states-explored 168802 197
build-model-states-explored 169007 205
build-model-states-explored 169213 206
build-model-states-explored 169418 205
build-model-states-explored 169625 207
build-model-states-explored 169833 208
build-model-states-explored 170041 208
build-model-states-explored 170246 205
build-model-states-explored 170449 203
build-model-states-explored 170655 206
build-model-states-explored 170857 202
build-model-states-explored 171059 202
build-model-states-explored 171264 205
build-model-states-explored 171474 210
build-model-states-explored 171684 210
build-model-states-explored 171888 204
build-model-states-explored 172093 205
build-model-states-explored 172291 198
build-model-states-explored 172458 167
build-model-states-explored 172635 177
build-model-states-explored 172828 193
build-model-states-explored 173010 182
build-model-states-explored 173177 167
build-model-states-explored 173365 188
build-model-states-explored 173554 189
build-model-states-explored 173728 174
build-model-states-explored 173905 177
build-model-states-explored 174095 190
build-model-states-explored 174272 177
build-model-states-explored 174437 165
build-model-states-explored 174621 184
build-model-states-explored 174810 189
build-model-states-explored 175023 213
build-model-states-explored 175234 211
build-model-states-explored 175415 181
build-model-states-explored 175602 187
build-model-states-explored 175788 186
build-model-states-explored 175960 172
build-model-states-explored 176147 187
build-model-states-explored 176314 167
build-model-states-explored 176497 183
build-model-states-explored 176678 181
build-model-states-explored 176855 177
build-model-states-explored 177032 177
build-model-states-explored 177225 193
build-model-states-explored 177423 198
build-model-states-explored 177609 186
build-model-states-explored 177779 170
build-model-states-explored 177960 181
build-model-states-explored 178144 184
build-model-states-explored 178333 189
build-model-states-explored 178520 187
build-model-states-explored 178726 206
build-model-states-explored 178919 193
build-model-states-explored 179111 192
build-model-states-explored 179289 178
build-model-states-explored 179467 178
build-model-states-explored 179647 180
build-model-states-explored 179839 192
build-model-states-explored 180019 180
build-model-states-explored 180211 192
build-model-states-explored 180390 179
build-model-states-explored 180572 182
build-model-states-explored 180748 176
build-model-states-explored 180935 187
build-model-states-explored 181128 193
build-model-states-explored 181311 183
build-model-states-explored 181485 174
build-model-states-explored 181673 188
build-model-states-explored 181845 172
build-model-states-explored 182027 182
build-model-states-explored 182206 179
build-model-states-explored 182383 177
build-model-states-explored 182554 171
build-model-states-explored 182726 172
build-model-states-explored 182899 173
build-model-states-explored 183072 173
build-model-states-explored 183241 169
build-model-states-explored 183409 168
build-model-states-explored 183584 175
build-model-states-explored 183753 169
build-model-states-explored 183928 175
build-model-states-explored 184083 155
build-model-states-explored 184246 163
build-model-states-explored 184407 161
build-model-states-explored 184546 139
build-model-states-explored 184718 172
build-model-states-explored 184868 150
build-model-states-explored 185031 163
build-model-states-explored 185198 167
build-model-states-explored 185365 167
build-model-states-explored 185521 156
build-model-states-explored 185701 180
build-model-states-explored 185879 178
build-model-states-explored 186063 184
build-model-states-explored 186235 172
build-model-states-explored 186413 178
build-model-states-explored 186592 179
build-model-states-explored 186755 163
build-model-states-explored 186937 182
build-model-states-explored 187107 170
build-model-states-explored 187274 167
build-model-states-explored 187455 181
build-model-states-explored 187627 172
build-model-states-explored 187803 176
build-model-states-explored 187975 172
build-model-states-explored 188133 158
build-model-states-explored 188306 173
build-model-states-explored 188460 154
build-model-states-explored 188620 160
build-model-states-explored 188798 178
build-model-states-explored 188969 171
build-model-states-explored 189134 165
build-model-states-explored 189299 165
build-model-states-explored 189461 162
build-model-states-explored 189639 178
build-model-states-explored 189802 163
build-model-states-explored 189968 166
build-model-states-explored 190131 163
build-model-states-explored 190291 160
build-model-states-explored 190450 159
build-model-states-explored 190613 163
build-model-states-explored 190773 160
build-model-states-explored 190928 155
build-model-states-explored 191096 168
build-model-states-explored 191251 155
build-model-states-explored 191405 154
build-model-states-explored 191564 159
build-model-states-explored 191724 160
build-model-states-explored 191876 152
build-model-states-explored 192029 153
build-model-states-explored 192189 160
build-model-states-explored 192351 162
build-model-states-explored 192518 167
build-model-states-explored 192686 168
build-model-states-explored 192853 167
build-model-states-explored 193008 155
build-model-states-explored 193172 164
build-model-states-explored 193341 169
build-model-states-explored 193495 154
build-model-states-explored 193647 152
build-model-states-explored 193795 148
build-model-states-explored 193952 157
build-model-states-explored 194115 163
build-model-states-explored 194266 151
build-model-states-explored 194416 150
build-model-states-explored 194565 149
build-model-states-explored 194714 149
build-model-states-explored 194864 150
build-model-states-explored 195003 139
build-model-states-explored 195148 145
build-model-states-explored 195285 137
build-model-states-explored 195428 143
build-model-states-explored 195580 152
build-model-states-explored 195734 154
build-model-states-explored 195890 156
build-model-states-explored 196058 168
build-model-states-explored 196227 169
build-model-states-explored 196389 162
build-model-states-explored 196556 167
build-model-states-explored 196715 159
build-model-states-explored 196857 142
build-model-states-explored 197008 151
build-model-states-explored 197164 156
build-model-states-explored 197309 145
build-model-states-explored 197473 164
build-model-states-explored 197632 159
build-model-states-explored 197786 154
build-model-states-explored 197946 160
build-model-states-explored 198102 156
build-model-states-explored 198242 140
build-model-states-explored 198406 164
build-model-states-explored 198563 157
build-model-states-explored 198716 153
build-model-states-explored 198869 153
build-model-states-explored 199021 152
build-model-states-explored 199158 137
build-model-states-explored 199317 159
build-model-states-explored 199436 119
build-model-states-explored 199663 227
build-model-states-explored 199890 227
build-model-states-explored 200116 226
build-model-states-explored 200343 227
build-model-states-explored 200569 226
build-model-states-explored 200795 226
build-model-states-explored 201021 226
build-model-states-explored 201247 226
build-model-states-explored 201471 224
build-model-states-explored 201697 226
build-model-states-explored 201922 225
build-model-states-explored 202148 226
build-model-states-explored 202373 225
build-model-states-explored 202598 225
build-model-states-explored 202823 225
build-model-states-explored 203048 225
build-model-states-explored 203273 225
build-model-states-explored 203497 224
build-model-states-explored 203721 224
build-model-states-explored 203946 225
build-model-states-explored 204168 222
build-model-states-explored 204391 223
build-model-states-explored 204615 224
build-model-states-explored 204840 225
build-model-states-explored 205066 226
build-model-states-explored 205291 225
build-model-states-explored 205515 224
build-model-states-explored 205739 224
build-model-states-explored 205965 226
build-model-states-explored 206191 226
build-model-states-explored 206416 225
build-model-states-explored 206641 225
build-model-states-explored 206866 225
build-model-states-explored 207092 226
build-model-states-explored 207318 226
build-model-states-explored 207542 224
build-model-states-explored 207767 225
build-model-states-explored 207991 224
build-model-states-explored 208216 225
build-model-states-explored 208442 226
build-model-states-explored 208666 224
build-model-states-explored 208892 226
build-model-states-explored 209117 225
build-model-states-explored 209342 225
build-model-states-explored 209566 224
build-model-states-explored 209789 223
build-model-states-explored 210015 226
build-model-states-explored 210241 226
build-model-states-explored 210467 226
build-model-states-explored 210692 225
build-model-states-explored 210918 226
build-model-states-explored 211144 226
build-model-states-explored 211370 226
build-model-states-explored 211595 225
build-model-states-explored 211822 227
build-model-states-explored 212049 227
build-model-states-explored 212277 228
build-model-states-explored 212504 227
build-model-states-explored 212731 227
build-model-states-explored 212958 227
build-model-states-explored 213185 227
build-model-states-explored 213412 227
build-model-states-explored 213636 224
build-model-states-explored 213861 225
build-model-states-explored 214087 226
build-model-states-explored 214310 223
build-model-states-explored 214534 224
build-model-states-explored 214758 224
build-model-states-explored 214983 225
build-model-states-explored 215207 224
build-model-states-explored 215432 225
build-model-states-explored 215655 223
build-model-states-explored 215878 223
build-model-states-explored 216100 222
build-model-states-explored 216325 225
build-model-states-explored 216551 226
build-model-states-explored 216777 226
build-model-states-explored 217002 225
build-model-states-explored 217226 224
build-model-states-explored 217450 224
build-model-states-explored 217677 227
build-model-states-explored 217903 226
build-model-states-explored 218129 226
build-model-states-explored 218353 224
build-model-states-explored 218578 225
build-model-states-explored 218802 224
build-model-states-explored 219028 226
build-model-states-explored 219254 226
build-model-states-explored 219480 226
build-model-states-explored 219704 224
build-model-states-explored 219929 225
build-model-states-explored 220153 224
build-model-states-explored 220378 225
build-model-states-explored 220604 226
build-model-states-explored 220829 225
build-model-states-explored 221052 223
build-model-states-explored 221277 225
build-model-states-explored 221503 226
build-model-states-explored 221728 225
build-model-states-explored 221953 225
build-model-states-explored 222175 222
build-model-states-explored 222399 224
build-model-states-explored 222624 225
build-model-states-explored 222850 226
build-model-states-explored 223073 223
build-model-states-explored 223298 225
build-model-states-explored 223522 224
build-model-states-explored 223747 225
build-model-states-explored 223973 226
build-model-states-explored 224196 223
build-model-states-explored 224420 224
build-model-states-explored 224644 224
build-model-states-explored 224869 225
build-model-states-explored 225095 226
build-model-states-explored 225319 224
build-model-states-explored 225544 225
build-model-states-explored 225767 223
build-model-states-explored 225992 225
build-model-states-explored 226217 225
build-model-states-explored 226440 223
build-model-states-explored 226663 223
build-model-states-explored 226888 225
build-model-states-explored 227114 226
build-model-states-explored 227339 225
build-model-states-explored 227565 226
build-model-states-explored 227791 226
build-model-states-explored 228016 225
build-model-states-explored 228240 224
build-model-states-explored 228465 225
build-model-states-explored 228690 225
build-model-states-explored 228916 226
build-model-states-explored 229141 225
build-model-states-explored 229367 226
build-model-states-explored 229591 224
build-model-states-explored 229815 224
build-model-states-explored 230039 224
build-model-states-explored 230262 223
build-model-states-explored 230487 225
build-model-states-explored 230710 223
build-model-states-explored 230935 225
build-model-states-explored 231158 223
build-model-states-explored 231381 223
build-model-states-explored 231606 225
build-model-states-explored 231830 224
build-model-states-explored 232054 224
build-model-states-explored 232278 224
build-model-states-explored 232501 223
build-model-states-explored 232724 223
build-model-states-explored 232946 222
build-model-states-explored 233168 222
build-model-states-explored 233390 222
build-model-states-explored 233610 220
build-model-states-explored 233830 220
build-model-states-explored 234053 223
build-model-states-explored 234277 224
build-model-states-explored 234500 223
build-model-states-explored 234723 223
build-model-states-explored 234944 221
build-model-states-explored 235167 223
build-model-states-explored 235391 224
build-model-states-explored 235615 224
build-model-states-explored 235839 224
build-model-states-explored 236062 223
build-model-states-explored 236285 223
build-model-states-explored 236509 224
build-model-states-explored 236733 224
build-model-states-explored 236956 223
build-model-states-explored 237177 221
build-model-states-explored 237392 215
build-model-states-explored 237610 218
build-model-states-explored 237832 222
build-model-states-explored 238052 220
build-model-states-explored 238275 223
build-model-states-explored 238498 223
build-model-states-explored 238721 223
build-model-states-explored 238943 222
build-model-states-explored 239165 222
build-model-states-explored 239384 219
build-model-states-explored 239608 224
build-model-states-explored 239833 225
build-model-states-explored 240057 224
build-model-states-explored 240281 224
build-model-states-explored 240506 225
build-model-states-explored 240729 223
build-model-states-explored 240953 224
build-model-states-explored 241178 225
build-model-states-explored 241404 226
build-model-states-explored 241630 226
build-model-states-explored 241856 226
build-model-states-explored 242082 226
build-model-states-explored 242305 223
build-model-states-explored 242529 224
build-model-states-explored 242754 225
build-model-states-explored 242974 220
build-model-states-explored 243198 224
build-model-states-explored 243422 224
build-model-states-explored 243644 222
build-model-states-explored 243867 223
build-model-states-explored 244090 223
build-model-states-explored 244314 224
build-model-states-explored 244538 224
build-model-states-explored 244762 224
build-model-states-explored 244984 222
build-model-states-explored 245206 222
build-model-states-explored 245430 224
build-model-states-explored 245654 224
build-model-states-explored 245877 223
build-model-states-explored 246101 224
build-model-states-explored 246323 222
build-model-states-explored 246545 222
build-model-states-explored 246768 223
build-model-states-explored 246992 224
build-model-states-explored 247215 223
build-model-states-explored 247439 224
build-model-states-explored 247661 222
build-model-states-explored 247884 223
build-model-states-explored 248107 223
build-model-states-explored 248329 222
build-model-states-explored 248551 222
build-model-states-explored 248771 220
build-model-states-explored 248992 221
build-model-states-explored 249214 222
build-model-states-explored 249437 223
build-model-states-explored 249661 224
build-model-states-explored 249881 220
build-model-states-explored 250101 220
build-model-states-explored 250324 223
build-model-states-explored 250547 223
build-model-states-explored 250770 223
build-model-states-explored 250990 220
build-model-states-explored 251213 223
build-model-states-explored 251436 223
build-model-states-explored 251659 223
build-model-states-explored 251881 222
build-model-states-explored 252101 220
build-model-states-explored 252324 223
build-model-states-explored 252546 222
build-model-states-explored 252770 224
build-model-states-explored 252993 223
build-model-states-explored 253214 221
build-model-states-explored 253436 222
build-model-states-explored 253658 222
build-model-states-explored 253881 223
build-model-states-explored 254103 222
build-model-states-explored 254324 221
build-model-states-explored 254546 222
build-model-states-explored 254768 222
build-model-states-explored 254993 225
build-model-states-explored 255216 223
build-model-states-explored 255441 225
build-model-states-explored 255665 224
build-model-states-explored 255889 224
build-model-states-explored 256110 221
build-model-states-explored 256331 221
build-model-states-explored 256554 223
build-model-states-explored 256778 224
build-model-states-explored 257002 224
build-model-states-explored 257226 224
build-model-states-explored 257450 224
build-model-states-explored 257671 221
build-model-states-explored 257892 221
build-model-states-explored 258114 222
build-model-states-explored 258336 222
build-model-states-explored 258557 221
build-model-states-explored 258779 222
build-model-states-explored 259000 221
build-model-states-explored 259222 222
build-model-states-explored 259444 222
build-model-states-explored 259666 222
build-model-states-explored 259888 222
build-model-states-explored 260108 220
build-model-states-explored 260330 222
build-model-states-explored 260550 220
build-model-states-explored 260770 220
build-model-states-explored 260992 222
build-model-states-explored 261212 220
build-model-states-explored 261428 216
build-model-states-explored 261648 220
build-model-states-explored 261868 220
build-model-states-explored 262088 220
build-model-states-explored 262309 221
build-model-states-explored 262528 219
build-model-states-explored 262747 219
build-model-states-explored 262967 220
build-model-states-explored 263187 220
build-model-states-explored 263408 221
build-model-states-explored 263629 221
build-model-states-explored 263849 220
build-model-states-explored 264070 221
build-model-states-explored 264292 222
build-model-states-explored 264514 222
build-model-states-explored 264734 220
build-model-states-explored 264955 221
build-model-states-explored 265173 218
build-model-states-explored 265394 221
build-model-states-explored 265614 220
build-model-states-explored 265835 221
build-model-states-explored 266056 221
build-model-states-explored 266277 221
build-model-states-explored 266498 221
build-model-states-explored 266720 222
build-model-states-explored 266942 222
build-model-states-explored 267165 223
build-model-states-explored 267387 222
build-model-states-explored 267608 221
build-model-states-explored 267826 218
build-model-states-explored 268048 222
build-model-states-explored 268271 223
build-model-states-explored 268492 221
build-model-states-explored 268714 222
build-model-states-explored 268936 222
build-model-states-explored 269160 224
build-model-states-explored 269384 224
build-model-states-explored 269524 140
build-model-states-explored 269749 225
build-model-states-explored 269973 224
build-model-states-explored 270198 225
build-model-states-explored 270423 225
build-model-states-explored 270646 223
build-model-states-explored 270869 223
build-model-states-explored 271092 223
build-model-states-explored 271314 222
build-model-states-explored 271535 221
build-model-states-explored 271758 223
build-model-states-explored 271982 224
build-model-states-explored 272205 223
build-model-states-explored 272429 224
build-model-states-explored 272651 222
build-model-states-explored 272873 222
build-model-states-explored 273095 222
build-model-states-explored 273318 223
build-model-states-explored 273542 224
build-model-states-explored 273764 222
build-model-states-explored 273986 222
build-model-states-explored 274208 222
build-model-states-explored 274430 222
build-model-states-explored 274653 223
build-model-states-explored 274876 223
build-model-states-explored 275098 222
build-model-states-explored 275318 220
build-model-states-explored 275542 224
build-model-states-explored 275764 222
build-model-states-explored 275987 223
build-model-states-explored 276207 220
build-model-states-explored 276426 219
build-model-states-explored 276647 221
build-model-states-explored 276870 223
build-model-states-explored 277093 223
build-model-states-explored 277313 220
build-model-states-explored 277535 222
build-model-states-explored 277757 222
build-model-states-explored 277981 224
build-model-states-explored 278203 222
build-model-states-explored 278423 220
build-model-states-explored 278645 222
build-model-states-explored 278867 222
build-model-states-explored 278972 105
build-model-states-explored 278972 0
build-model-states-explored 279061 89
build-model-states-explored 279283 222
build-model-states-explored 279505 222
build-model-states-explored 279726 221
build-model-states-explored 279947 221
build-model-states-explored 280170 223
build-model-states-explored 280392 222
build-model-states-explored 280612 220
build-model-states-explored 280834 222
build-model-states-explored 281055 221
build-model-states-explored 281279 224
build-model-states-explored 281502 223
build-model-states-explored 281725 223
build-model-states-explored 281948 223
build-model-states-explored 282170 222
build-model-states-explored 282389 219
build-model-states-explored 282610 221
build-model-states-explored 282833 223
build-model-states-explored 283056 223
build-model-states-explored 283279 223
build-model-states-explored 283502 223
build-model-states-explored 283725 223
build-model-states-explored 283947 222
build-model-states-explored 284167 220
build-model-states-explored 284389 222
build-model-states-explored 284611 222
build-model-states-explored 284832 221
build-model-states-explored 285053 221
build-model-states-explored 285274 221
build-model-states-explored 285494 220
build-model-states-explored 285715 221
build-model-states-explored 285937 222
build-model-states-explored 286159 222
build-model-states-explored 286379 220
build-model-states-explored 286600 221
build-model-states-explored 286821 221
build-model-states-explored 287040 219
build-model-states-explored 287260 220
build-model-states-explored 287480 220
build-model-states-explored 287696 216
build-model-states-explored 287913 217
build-model-states-explored 288132 219
build-model-states-explored 288351 219
build-model-states-explored 288571 220
build-model-states-explored 288791 220
build-model-states-explored 289008 217
build-model-states-explored 289226 218
build-model-states-explored 289447 221
build-model-states-explored 289669 222
build-model-states-explored 289890 221
build-model-states-explored 290110 220
build-model-states-explored 290329 219
build-model-states-explored 290549 220
build-model-states-explored 290770 221
build-model-states-explored 290990 220
build-model-states-explored 291210 220
build-model-states-explored 291427 217
build-model-states-explored 291647 220
build-model-states-explored 291868 221
build-model-states-explored 292089 221
build-model-states-explored 292308 219
build-model-states-explored 292529 221
build-model-states-explored 292750 221
build-model-states-explored 292970 220
build-model-states-explored 293192 222
build-model-states-explored 293414 222
build-model-states-explored 293636 222
build-model-states-explored 293856 220
build-model-states-explored 294076 220
build-model-states-explored 294298 222
build-model-states-explored 294519 221
build-model-states-explored 294740 221
build-model-states-explored 294961 221
build-model-states-explored 295181 220
build-model-states-explored 295403 222
build-model-states-explored 295624 221
build-model-states-explored 295847 223
build-model-states-explored 296070 223
build-model-states-explored 296291 221
build-model-states-explored 296514 223
build-model-states-explored 296737 223
build-model-states-explored 296960 223
build-model-states-explored 297184 224
build-model-states-explored 297406 222
build-model-states-explored 297627 221
build-model-states-explored 297848 221
build-model-states-explored 298071 223
build-model-states-explored 298294 223
build-model-states-explored 298517 223
build-model-states-explored 298738 221
build-model-states-explored 298959 221
build-model-states-explored 299180 221
build-model-states-explored 299402 222
build-model-states-explored 299625 223
build-model-states-explored 299848 223
build-model-states-explored 300068 220
build-model-states-explored 300290 222
build-model-states-explored 300513 223
build-model-states-explored 300735 222
build-model-states-explored 300957 222
build-model-states-explored 301175 218
build-model-states-explored 301396 221
build-model-states-explored 301618 222
build-model-states-explored 301840 222
build-model-states-explored 302062 222
build-model-states-explored 302280 218
build-model-states-explored 302500 220
build-model-states-explored 302723 223
build-model-states-explored 302945 222
build-model-states-explored 303162 217
build-model-states-explored 303376 214
build-model-states-explored 303592 216
build-model-states-explored 303813 221
build-model-states-explored 304032 219
build-model-states-explored 304252 220
build-model-states-explored 304472 220
build-model-states-explored 304692 220
build-model-states-explored 304913 221
build-model-states-explored 305135 222
build-model-states-explored 305356 221
build-model-states-explored 305575 219
build-model-states-explored 305796 221
build-model-states-explored 306017 221
build-model-states-explored 306240 223
build-model-states-explored 306460 220
build-model-states-explored 306683 223
build-model-states-explored 306903 220
build-model-states-explored 307125 222
build-model-states-explored 307344 219
build-model-states-explored 307564 220
build-model-states-explored 307786 222
build-model-states-explored 308009 223
build-model-states-explored 308228 219
build-model-states-explored 308448 220
build-model-states-explored 308670 222
build-model-states-explored 308889 219
build-model-states-explored 309107 218
build-model-states-explored 309328 221
build-model-states-explored 309549 221
build-model-states-explored 309770 221
build-model-states-explored 309990 220
build-model-states-explored 310210 220
build-model-states-explored 310428 218
build-model-states-explored 310648 220
build-model-states-explored 310868 220
build-model-states-explored 311089 221
build-model-states-explored 311309 220
build-model-states-explored 311530 221
build-model-states-explored 311750 220
build-model-states-explored 311964 214
build-model-states-explored 312183 219
build-model-states-explored 312402 219
build-model-states-explored 312614 212
build-model-states-explored 312832 218
build-model-states-explored 313049 217
build-model-states-explored 313267 218
build-model-states-explored 313488 221
build-model-states-explored 313706 218
build-model-states-explored 313922 216
build-model-states-explored 314140 218
build-model-states-explored 314360 220
build-model-states-explored 314582 222
build-model-states-explored 314801 219
build-model-states-explored 315019 218
build-model-states-explored 315237 218
build-model-states-explored 315446 209
build-model-states-explored 315657 211
build-model-states-explored 315877 220
build-model-states-explored 316096 219
build-model-states-explored 316314 218
build-model-states-explored 316532 218
build-model-states-explored 316752 220
build-model-states-explored 316972 220
build-model-states-explored 317191 219
build-model-states-explored 317411 220
build-model-states-explored 317632 221
build-model-states-explored 317850 218
build-model-states-explored 318071 221
build-model-states-explored 318291 220
build-model-states-explored 318512 221
build-model-states-explored 318732 220
build-model-states-explored 318951 219
build-model-states-explored 319172 221
build-model-states-explored 319392 220
build-model-states-explored 319612 220
build-model-states-explored 319831 219
build-model-states-explored 320050 219
build-model-states-explored 320271 221
build-model-states-explored 320494 223
build-model-states-explored 320718 224
build-model-states-explored 320941 223
build-model-states-explored 321165 224
build-model-states-explored 321388 223
build-model-states-explored 321611 223
build-model-states-explored 321831 220
build-model-states-explored 322049 218
build-model-states-explored 322268 219
build-model-states-explored 322488 220
build-model-states-explored 322707 219
build-model-states-explored 322926 219
build-model-states-explored 323146 220
build-model-states-explored 323367 221
build-model-states-explored 323584 217
build-model-states-explored 323804 220
build-model-states-explored 324025 221
build-model-states-explored 324245 220
build-model-states-explored 324465 220
build-model-states-explored 324681 216
build-model-states-explored 324900 219
build-model-states-explored 325119 219
build-model-states-explored 325339 220
build-model-states-explored 325559 220
build-model-states-explored 325775 216
build-model-states-explored 325994 219
build-model-states-explored 326213 219
build-model-states-explored 326433 220
build-model-states-explored 326652 219
build-model-states-explored 326871 219
build-model-states-explored 327091 220
build-model-states-explored 327310 219
build-model-states-explored 327531 221
build-model-states-explored 327751 220
build-model-states-explored 327968 217
build-model-states-explored 328187 219
build-model-states-explored 328404 217
build-model-states-explored 328624 220
build-model-states-explored 328843 219
build-model-states-explored 329061 218
build-model-states-explored 329278 217
build-model-states-explored 329497 219
build-model-states-explored 329717 220
build-model-states-explored 329937 220
build-model-states-explored 330158 221
build-model-states-explored 330379 221
build-model-states-explored 330598 219
build-model-states-explored 330816 218
build-model-states-explored 331036 220
build-model-states-explored 331254 218
build-model-states-explored 331474 220
build-model-states-explored 331694 220
build-model-states-explored 331914 220
build-model-states-explored 332133 219
build-model-states-explored 332352 219
build-model-states-explored 332570 218
build-model-states-explored 332789 219
build-model-states-explored 333009 220
build-model-states-explored 333226 217
build-model-states-explored 333442 216
build-model-states-explored 333658 216
build-model-states-explored 333876 218
build-model-states-explored 334093 217
build-model-states-explored 334310 217
build-model-states-explored 334529 219
build-model-states-explored 334747 218
build-model-states-explored 334963 216
build-model-states-explored 335179 216
build-model-states-explored 335394 215
build-model-states-explored 335611 217
build-model-states-explored 335826 215
build-model-states-explored 336040 214
build-model-states-explored 336255 215
build-model-states-explored 336468 213
build-model-states-explored 336685 217
build-model-states-explored 336902 217
build-model-states-explored 337119 217
build-model-states-explored 337334 215
build-model-states-explored 337548 214
build-model-states-explored 337764 216
build-model-states-explored 337982 218
build-model-states-explored 338201 219
build-model-states-explored 338418 217
build-model-states-explored 338634 216
build-model-states-explored 338849 215
build-model-states-explored 339063 214
build-model-states-explored 339279 216
build-model-states-explored 339496 217
build-model-states-explored 339713 217
build-model-states-explored 339927 214
build-model-states-explored 340145 218
build-model-states-explored 340361 216
build-model-states-explored 340579 218
build-model-states-explored 340796 217
build-model-states-explored 341013 217
build-model-states-explored 341230 217
build-model-states-explored 341447 217
build-model-states-explored 341666 219
build-model-states-explored 341882 216
build-model-states-explored 342091 209
build-model-states-explored 342305 214
build-model-states-explored 342522 217
build-model-states-explored 342741 219
build-model-states-explored 342960 219
build-model-states-explored 343177 217
build-model-states-explored 343395 218
build-model-states-explored 343612 217
build-model-states-explored 343830 218
build-model-states-explored 344050 220
build-model-states-explored 344267 217
build-model-states-explored 344486 219
build-model-states-explored 344706 220
build-model-states-explored 344926 220
build-model-states-explored 345143 217
build-model-states-explored 345361 218
build-model-states-explored 345578 217
build-model-states-explored 345790 212
build-model-states-explored 346008 218
build-model-states-explored 346225 217
build-model-states-explored 346440 215
build-model-states-explored 346653 213
build-model-states-explored 346862 209
build-model-states-explored 347072 210
build-model-states-explored 347286 214
build-model-states-explored 347501 215
build-model-states-explored 347718 217
build-model-states-explored 347928 210
build-model-states-explored 348142 214
build-model-states-explored 348357 215
build-model-states-explored 348573 216
build-model-states-explored 348789 216
build-model-states-explored 348999 210
build-model-states-explored 349214 215
build-model-states-explored 349431 217
build-model-states-explored 349647 216
build-model-states-explored 349862 215
build-model-states-explored 350075 213
build-model-states-explored 350286 211
build-model-states-explored 350499 213
build-model-states-explored 350709 210
build-model-states-explored 350924 215
build-model-states-explored 351138 214
build-model-states-explored 351351 213
build-model-states-explored 351566 215
build-model-states-explored 351775 209
build-model-states-explored 351990 215
build-model-states-explored 352199 209
build-model-states-explored 352414 215
build-model-states-explored 352626 212
build-model-states-explored 352838 212
build-model-states-explored 353045 207
build-model-states-explored 353255 210
build-model-states-explored 353468 213
build-model-states-explored 353681 213
build-model-states-explored 353894 213
build-model-states-explored 354109 215
build-model-states-explored 354323 214
build-model-states-explored 354537 214
build-model-states-explored 354750 213
build-model-states-explored 354966 216
build-model-states-explored 355180 214
build-model-states-explored 355393 213
build-model-states-explored 355604 211
build-model-states-explored 355814 210
build-model-states-explored 356022 208
build-model-states-explored 356235 213
build-model-states-explored 356449 214
build-model-states-explored 356661 212
build-model-states-explored 356874 213
build-model-states-explored 357083 209
build-model-states-explored 357294 211
build-model-states-explored 357497 203
build-model-states-explored 357701 204
build-model-states-explored 357911 210
build-model-states-explored 358117 206
build-model-states-explored 358315 198
build-model-states-explored 358521 206
build-model-states-explored 358725 204
build-model-states-explored 358928 203
build-model-states-explored 359138 210
build-model-states-explored 359343 205
build-model-states-explored 359544 201
build-model-states-explored 359750 206
build-model-states-explored 359955 205
build-model-states-explored 360170 215
build-model-states-explored 360385 215
build-model-states-explored 360591 206
build-model-states-explored 360800 209
build-model-states-explored 361004 204
build-model-states-explored 361213 209
build-model-states-explored 361415 202
build-model-states-explored 361620 205
build-model-states-explored 361823 203
build-model-states-explored 362027 204
build-model-states-explored 362227 200
build-model-states-explored 362439 212
build-model-states-explored 362649 210
build-model-states-explored 362856 207
build-model-states-explored 363067 211
build-model-states-explored 363272 205
build-model-states-explored 363481 209
build-model-states-explored 363688 207
build-model-states-explored 363900 212
build-model-states-explored 364111 211
build-model-states-explored 364319 208
build-model-states-explored 364520 201
build-model-states-explored 364721 201
build-model-states-explored 364932 211
build-model-states-explored 365141 209
build-model-states-explored 365347 206
build-model-states-explored 365546 199
build-model-states-explored 365746 200
build-model-states-explored 365948 202
build-model-states-explored 366160 212
build-model-states-explored 366374 214
build-model-states-explored 366586 212
build-model-states-explored 366796 210
build-model-states-explored 367011 215
build-model-states-explored 367227 216
build-model-states-explored 367436 209
build-model-states-explored 367648 212
build-model-states-explored 367842 194
build-model-states-explored 368042 200
build-model-states-explored 368252 210
build-model-states-explored 368464 212
build-model-states-explored 368670 206
build-model-states-explored 368872 202
build-model-states-explored 369076 204
build-model-states-explored 369287 211
build-model-states-explored 369497 210
build-model-states-explored 369703 206
build-model-states-explored 369908 205
build-model-states-explored 370110 202
build-model-states-explored 370315 205
build-model-states-explored 370522 207
build-model-states-explored 370732 210
build-model-states-explored 370943 211
build-model-states-explored 371146 203
build-model-states-explored 371356 210
build-model-states-explored 371567 211
build-model-states-explored 371782 215
build-model-states-explored 371991 209
build-model-states-explored 372198 207
build-model-states-explored 372407 209
build-model-states-explored 372613 206
build-model-states-explored 372822 209
build-model-states-explored 373026 204
build-model-states-explored 373231 205
build-model-states-explored 373445 214
build-model-states-explored 373657 212
build-model-states-explored 373863 206
build-model-states-explored 374064 201
build-model-states-explored 374278 214
build-model-states-explored 374492 214
build-model-states-explored 374701 209
build-model-states-explored 374913 212
build-model-states-explored 375126 213
build-model-states-explored 375337 211
build-model-states-explored 375540 203
build-model-states-explored 375736 196
build-model-states-explored 375938 202
build-model-states-explored 376140 202
build-model-states-explored 376343 203
build-model-states-explored 376542 199
build-model-states-explored 376744 202
build-model-states-explored 376947 203
build-model-states-explored 377146 199
build-model-states-explored 377349 203
build-model-states-explored 377555 206
build-model-states-explored 377752 197
build-model-states-explored 377951 199
build-model-states-explored 378154 203
build-model-states-explored 378357 203
build-model-states-explored 378546 189
build-model-states-explored 378753 207
build-model-states-explored 378960 207
build-model-states-explored 379149 189
build-model-states-explored 379349 200


----------
Computation aborted after 1800.082032442093 seconds since the total time limit of 1800 seconds was exceeded.
Model:	pnueli-zuck v.1 (MDP)
Parameter(s)	N = 60
Property:	live (prob-reach)